1. An introduction to formal specification and Z
المؤلف: Potter, Ben
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer software -- Development,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
2. An introduction to formal specification and Z
المؤلف: Potter, Ben.
المکتبة: (طهران)
موضوع: Computer software - Development , Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1990
3. An introduction to formal specification and Z
المؤلف: Potter, Ben.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development ، Computer software,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1991
4. An introduction to formal specification and Z
المؤلف: / Ben Potter, John Sinclair and David Till
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996
5. Formal specification and documentation Using Z: a case study approach
المؤلف: Bowen, Jonathan Peter
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده :
QA
76
.
73
.
Z2
B68
1996
6. Formal specification and documentation using Z : a case study approach
المؤلف: Bowen, Jonathan
المکتبة: (طهران)
موضوع: Z )Computer program language( , Computer software - Development
رده :
QA
76
.
73
.
Z2
B68
1996
7. Formal specification using Z: a modelling approach
المؤلف: Bottaci, Leonardo
المکتبة: (طهران)
موضوع: Z )Computer program language( , Computer Software - Development
رده :
QA
76
.
73
.
Z2
B67
1995
